181. Schubert calculus and its applications in combinatorics and representation theory :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Geometry, Algebraic ; Congresses. ;
182. Semantics of data types :
پدیدآورنده : edited by G. Kahn, D.B. MacQueen, and G. Plotkin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data structures (Computer science) -- Congresses.,Langages de programmation -- Sémantique -- Congrès.,Programming languages (Electronic computers) -- Semantics -- Congresses.
183. Seminar on Stochastic Analysis, Random Fields and Applications VI
پدیدآورنده : / Robert C. Dalang, Marco Dozzi, Francesco Russo, editors
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Stochastic analysis, Congresses,Random fields, Congresses,Mathematics, Congresses,Distribution (Probability theory), Congresses
رده :
E-BOOK
184. Service life and durability of reinforced concrete structures :
پدیدآورنده : editors, Carmen Andrade, Joost Gulikers, Elisabeth Marie-Victoire.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Reinforced concrete construction-- Maintenance and repair, Congresses.,Reinforced concrete-- Corrosion, Congresses.,Building construction & materials.,Materials science.,Materials.,Mechanics of solids.,Mechanics, Applied.,Technology & Engineering-- Civil-- General.,Technology & Engineering-- Material Science.,Technology & Engineering-- Mechanical.
رده :
TA683
.
2
.
I58
2016
185. Singularities in PDE and the calculus of variations
پدیدآورنده : Stanley Alama, Lia Bronsard, Peter J. Sternberg, editors
کتابخانه: (طهران)
موضوع : Congresses ، Singularities )Mathematics(,Congresses ، Differential equations, Partial,Congresses ، Calculus of variations
رده :
QC
20
.
7
.
S54S56
186. Smart computing and communication :
پدیدآورنده : Meikang Qiu (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cloud computing, Congresses.,Computer networks, Congresses.,Computer security, Congresses.,Cloud computing.,Computer networks.,Computer security.
رده :
QA76
.
585
187. Sparse grids and applications :
پدیدآورنده : Jochen Garcke, Dirk Pflüger, Clayton G. Webster, Guannan Zhang, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Numerical analysis, Congresses.,Numerical grid generation (Numerical analysis), Congresses.,Sparse matrices, Congresses.,Computer modelling & simulation.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Differential calculus & equations.,Mathematical theory of computation.,Numerical analysis.,Numerical analysis.,Numerical grid generation (Numerical analysis),Sparse matrices.
رده :
QA188
188. Stochastic calculus in applications : Proceedings of the Cambridge Symposium, 1987
پدیدآورنده : J. R. Norris )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Stochastic analysis
رده :
QA
274
.
2
.
S76
1988
189. Stochastic partial differential equations and related fields :
پدیدآورنده : Andreas Eberle, Martin Grothaus, Walter Hoh, Moritz Kassmann, Wilhelm Stannat, Gerald Trutnau, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Stochastic partial differential equations, Congresses.,Mathematical Applications in the Physical Sciences.,Differential calculus & equations.,Mathematical modelling.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Probability & statistics.,Stochastic partial differential equations.
رده :
QA274
.
25
190. Superstrings'87: proceedings of the Trieste Spring School, 1-11 April 1987
پدیدآورنده : edited by L. Alvarez-Gaume...]et al.[
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، String models- Congresses,، Superstring theories- Congresses
رده :
QC
794
.
6
.
S85
S868
191. Surface reactive peptides and polymers :
پدیدآورنده : C. Steven Sikes, editor, A.P. Wheeler, editor
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Biomineralization, Congresses,Peptides-- Surfaces, Congresses,Phosphoproteins-- Surfaces, Congresses,Proteins-- Surfaces, Congresses,Surface chemistry, Congresses
رده :
QP551
.
S915
1991
192. Symmetries, differential equations and applications :
پدیدآورنده : Victor G. Kac, Peter J. Olver, Pavel Winternitz, Teoman Özer, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Lie groups, Congresses.,Computational Mathematics and Numerical Analysis.,Difference and Functional Equations.,Dynamical Systems and Ergodic Theory.,Ordinary Differential Equations.,Theoretical, Mathematical and Computational Physics.,Topological Groups, Lie Groups.,Differential calculus & equations.,Groups & group theory.,Lie groups.,Mathematical physics.,MATHEMATICS-- Algebra-- Intermediate.,Nonlinear science.,Numerical analysis.
رده :
QA387
193. The Chinese calculus of deterrence: India and Indochina
پدیدآورنده : [by] Allen S. Whiting
کتابخانه: كتابخانه دانشكده حقوق و علوم سیاسی دانشگاه تهران (طهران)
موضوع : China-- Military policy,Deterrence (strategy)-- Congresses
رده :
UA835
.
W45
194. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده : Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
195. Theoretical aspects of computing -- ICTAC 2013 :
پدیدآورنده : Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
196. Theoretical computer science :
پدیدآورنده : edited by Peter Deussen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Congresses.,Computer science.
197. Theory and applications of satisfiability testing -- SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006 : proceedings
پدیدآورنده : Armin Biere, Carla P. Gomes )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
4121
198. Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
پدیدآورنده : Fahiem Bacchus, Toby Walsh )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
3569
199. Theory and applications of satisfiability testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers
پدیدآورنده : Holger H. Hoos, David G. Mitchell )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Propositional calculus,Congresses ، Computer algorithms,Congresses ، Decision making
رده :
QA
76
.
L28
Vol
.
3542
200. Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers
پدیدآورنده : Enrico Giunchiglia, Armando Tacchella )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
2919
